例文The relationship between area and rotations is explained by Girard's theorem relating the area of a spherical triangle to its angular excess.